Constraint satisfaction problem - PDFSEARCH.IO - Document Search Engine

Constraint satisfaction problem
Results: 216

#	Item
51	Hindley-Milner Elaboration in Applicative Style Functional pearl François Pottier INRIA Add to Reading List Source URL: gallium.inria.fr Language: English - Date: 2014-06-12 04:54:36 Computing Constraint satisfaction problem Type class Lambda calculus Normalisation by evaluation Constraint inference Declarative programming Constraint programming Software engineering
52	An Optimal Arc Consistency Algorithm for a Particular Case of Sequence Constraint Mohamed Siala1,2 , Emmanuel Hebrard1,3 , and Marie-Jos´e Huguet1,2 1 CNRS, LAAS, 7 avenue du colonel Roche, FToulouse, France Add to Reading List Source URL: homepages.laas.fr Language: English - Date: 2013-08-28 03:01:20 Constraint satisfaction problem Constraint programming Local consistency Computing
53	9 On the Power of Belief Propagation: A Constraint Propagation Perspective R. D ECHTER , B. B IDYUK , R. M ATEESCU Add to Reading List Source URL: www.ics.uci.edu Language: English - Date: 2012-01-25 15:39:31 Local consistency Probability theory Bayesian statistics Statistical models Belief propagation Bayesian network Tree decomposition Constraint satisfaction problem Flow network Graph theory Constraint programming Graphical models
54	Robust Solutions for Constraint Satisfaction and Optimization Emmanuel Hebrard and Brahim Hnich and Toby Walsh 12 Abstract. Super solutions are a mechanism to provide robustness to constraint programsThey are solu Add to Reading List Source URL: homepages.laas.fr Language: English - Date: 2010-11-22 06:22:32 Computing Constraint satisfaction problem Constraint satisfaction Local consistency Backtracking Optimization problem Mathematical optimization Min-conflicts algorithm Linear programming relaxation Constraint programming Software engineering Computer programming
55	Solving Disjunctive Constraints for Interactive Graphical Applications Kim Marriott1 , Peter Moulder 1 , Peter J. Stuckey2 , and Alan Borning 3 3 Add to Reading List Source URL: constraints.cs.washington.edu Language: English - Date: 2001-09-10 14:24:26 Computer programming Computing Mathematical optimization Simplex algorithm Constraint satisfaction problem Slack variable Algorithm Cassowary Constraint satisfaction Constraint programming Operations research Software engineering
56	The Range Constraint: Algorithms and Implementation Christian Bessiere1 , Emmanuel Hebrard2 , Brahim Hnich3 , Zeynep Kiziltan4 , and Toby Walsh2 1 Add to Reading List Source URL: homepages.laas.fr Language: English - Date: 2010-11-22 06:22:31 Computing Local consistency Constraint satisfaction problem Constraint satisfaction Maximum flow problem Constraint inference Constraint programming Software engineering Computer programming
57	Journal of Object Technology Published by AITO — Association Internationale pour les Technologies Objets http://www.jot.fm/ Babelsberg: Specifying and Solving Constraints on Object Behavior Add to Reading List Source URL: www.jot.fm Language: English - Date: 2014-08-21 12:43:43 Computer programming Constraint logic programming Kaleidoscope Constraint satisfaction problem Cassowary Constraint Prolog Satisfiability Modulo Theories Constraint satisfaction Constraint programming Declarative programming Software engineering
58	Common Subexpression Elimination in Automated Constraint Modelling Ian P. Gent and Ian Miguel and Andrea Rendl1 Abstract. Typically, there are many alternative models of a given problem as a constraint satisfaction probl Add to Reading List Source URL: andrearendl.com Language: English - Date: 2013-08-29 08:24:26 Computing Constraint satisfaction Local consistency Common subexpression elimination Constraint algorithm Constraint logic programming Constraint programming Software engineering Computer programming
59	Constraints DOIs10601The Complexity of Reasoning with Global Constraints Christian Bessiere · Emmanuel Hebrard · Brahim Hnich · Toby Walsh Add to Reading List Source URL: homepages.laas.fr Language: English - Date: 2010-11-22 06:22:29 Applied mathematics Mathematical optimization Local consistency Constraint satisfaction NP-complete Computational complexity theory P versus NP problem NP Complexity of constraint satisfaction Constraint programming Theoretical computer science Complexity classes
60	Proceedings Template - WORD Add to Reading List Source URL: homes.cs.washington.edu Language: English - Date: 2014-08-13 19:26:58 Model theory Constraint programming Programming paradigms Type theory Data modeling Relational model Constraint satisfaction problem Subtype polymorphism Structure Logic Software engineering Mathematical logic

UPDATE